Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Logic
• Data types
• Functional programming
• Lambda calculus
• Type theory
• Logic in computer science
• Eval
• Hoare logic
• Anonymous function
• Separation logic

PIEtrace: Platform Independent Executable Trace Yonghwi Kwon, Xiangyu Zhang, and Dongyan Xu Department of Computer Science, Purdue University West Lafayette, Indiana, USA {kwon58,xyzhang,dxu}@cs.purdue.edu

Source URL: www.cs.purdue.edu

• Software
• Computer programming
• Profilers
• Debuggers
• Debugging
• DynamoRIO
• Valgrind
• Profiling
• X86
• Pin
• System call
• Breakpoint

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Source URL: research.cs.wisc.edu

• Logic in computer science
• Programming language semantics
• Programming language implementation
• Compiler construction
• Formal methods
• Abstract interpretation
• Semantics
• Static program analysis
• Syntax
• GrammaTech
• Denotational semantics
• Compiler

UNIVERSITY OF CALIFORNIA RIVERSIDE The SpiceC Parallel Programming System A Dissertation submitted in partial satisfaction

Source URL: www.cs.ucr.edu

Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic Marc Denecker and Joost Vennekens December 12, 2008

Source URL: people.cs.kuleuven.be

Memory-Safe Microcontroller Applications with the Bedrock Structured Programming System Benjamin Ezra Barenblat sb Computer Science and Engineering Massachusetts Institute of Technology, June 2013

Source URL: css.csail.mit.edu

Russian Academy of Sciences Program Systems Institute Porting OpenTS Parallel Programming System to Windows CCS Platform · OpenTS — an advanced tool for parallel and

Source URL: skif.pereslavl.ru

Bridging the Gap: Programming Sensor Networks with Application Specific Virtual Machines UCB//CSDPhilip Levis† , David Gay‡ , and David Culler† {pal,culler}@cs.berkeley.edu,

Source URL: csl.stanford.edu

• Computing
• Wireless sensor network
• Software
• System software
• TinyOS
• NesC
• Sensor node
• VM
• Concurrent computing
• Transmission Control Protocol
• Scheduling
• Communications protocol

Russian Academy of Sciences Program Systems Institute Porting OpenTS Parallel Programming System to Windows CCS Platform · OpenTS — an advanced tool for parallel and

Source URL: skif.pereslavl.ru